binary search recursion in python